Resolution Principle and Fuzzy Logic
نویسنده
چکیده
Fuzzy Predicate Logic with Evaluated Syntax (FPL) (Novák, V.) is a well-studied and wide-used logic capable of expressing vagueness. It has a lot of applications based on robust theoretical background. It also requires an efficient formal proof theory. However the most widely applied resolution principle (Dukić, N.) brings syntactically several obstacles mainly arising from normal form transformation. FPL is associating with even harder problems when trying to use the resolution principle. Solutions to these obstacles based on the non-clausal resolution (Bachmair, L.) were already proposed in (Habiballa, H.).
منابع مشابه
Fuzzy Functional Dependency and the Resolution Principle
In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in four steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzz...
متن کاملResolution Strategies for Fuzzy Description Logic
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resolutionbased reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).
متن کاملFundamentals of Fuzzy Prolog
In this paper, a Fuzzy Prolog is introduced that is based on the fuzzy resolution principle. There are three levels of concern: (1) the f u z ~ truth values of predicates that depend on several values of individual variables, (2) the weights of rules that depend on several fuzzy truth values of premise and conclusion, and (3) the confidence of resolvent that depends on the fuzzy resolution prin...
متن کاملFuzzy temporal constraint logic: a valid resolution principle
In this work we propose a fuzzy temporal constraint logic. First of all, we provide the formal language which will allow the expression of well-formed formulas related to the temporal events by means of temporal constraints. Secondly, we introduce a valid resolution principle in order to solve the queries in this logic. Finally, we will show that this resolution principle is a generalization of...
متن کاملFuzzy adaptive PID control Design
I. Fuzzy adaptive principle Fuzzy control based on fuzzy set theory, fuzzy linguistic variables and fuzzy logic inference for a computer based control method widely used in the control field, as an important branch of intelligent control, fuzzy control compared with the traditional control method has the following outstanding advantages: · No precise mathematical model of controlled object; · U...
متن کامل